VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
theory
A
logic
invented by Girard in 1987 that can be used
in proofs related to resource usage.
.
[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM
Conference, 1991].
[Summary?]
(2003-05-02)